(pr "hello world")
